Welcome to Formal Methods 2006
McMaster University
Hamilton, Ontario
Canada
August 21 - 27, 2006
News:
September 11th, 2006 - Pictures of the conference are available at http://david.von-oheimb.de/gallery/FM2006/ and http://david.von-oheimb.de/gallery/Niagara/. Thanks to David von Oheimb for these.
August 17th, 2006 - Conference program is available for downloading
.
August 9th, 2006 - Symposium proceedings are now available online.
September 11th, 2006 - Pictures of the conference are available at http://david.von-oheimb.de/gallery/FM2006/ and http://david.von-oheimb.de/gallery/Niagara/. Thanks to David von Oheimb for these.
August 17th, 2006 - Conference program is available for downloading
.August 9th, 2006 - Symposium proceedings are now available online.
It is our pleasure to invite you to FM'06, the premier international
forum for practitioners and researchers applying mathematical methods
to the design of highly reliable computer systems. This is the 14th
event in this series, and for the first time takes place in North
America, at McMaster University in Hamilton, Ontario, Canada.
A program of five invited talks and 36 outstanding research papers provides the opportunity to learn about the newest developments in the theory and application of formal methods. The program covers a wide range of topics, including theorem proving, modeling, real-time, specification, education, programming languages, and testing. As in previous years, an Industry Day is dedicated for practitioners to share their experiences with industrial applications. Eight speakers will address this year's theme, Formal Methods for Security and Trust in Industrial Applications.
Tutorials have always been an essential part of the FM symposia, as an effective way of disseminating emerging tools and techniques. This year we have eight tutorials, given by renowned experts in their fields. The four co-located workshops address the issues of specific formal techniques as well as issues of general interest, namely education, security, and the timely issue of certification.
A Doctoral Symposium is part of FM for the first time this year, giving young researchers the opportunity to learn about the issues of practitioners and in turn have their ideas critically, but constructively examined by the community. A Poster and Tool Exhibition, with twelve reviewed submissions, allows researchers to engage in a dialogue with potential users in early phases of their work. A Book Exhibition accompanies the event.
McMaster University is the host of the Bertrand Russell Archive. The influence of Bertrand Russell on logic and formal methods is still felt today. As a complement to the technical program, we are proud to offer tours through the Russell Archive.
We hope you will enjoy a rewarding symposium program.
A program of five invited talks and 36 outstanding research papers provides the opportunity to learn about the newest developments in the theory and application of formal methods. The program covers a wide range of topics, including theorem proving, modeling, real-time, specification, education, programming languages, and testing. As in previous years, an Industry Day is dedicated for practitioners to share their experiences with industrial applications. Eight speakers will address this year's theme, Formal Methods for Security and Trust in Industrial Applications.
Tutorials have always been an essential part of the FM symposia, as an effective way of disseminating emerging tools and techniques. This year we have eight tutorials, given by renowned experts in their fields. The four co-located workshops address the issues of specific formal techniques as well as issues of general interest, namely education, security, and the timely issue of certification.
A Doctoral Symposium is part of FM for the first time this year, giving young researchers the opportunity to learn about the issues of practitioners and in turn have their ideas critically, but constructively examined by the community. A Poster and Tool Exhibition, with twelve reviewed submissions, allows researchers to engage in a dialogue with potential users in early phases of their work. A Book Exhibition accompanies the event.
McMaster University is the host of the Bertrand Russell Archive. The influence of Bertrand Russell on logic and formal methods is still felt today. As a complement to the technical program, we are proud to offer tours through the Russell Archive.
We hope you will enjoy a rewarding symposium program.
Emil Sekerinski, General Chair
Jayadev Misra, Tobias Nipkow, Program Chairs
Jayadev Misra, Tobias Nipkow, Program Chairs